.intel_syntax noprefix
MFENCE # instrumentation
.test_case_enter:
.function_main:
.bb_main.entry:
JMP .bb_main.0 
.bb_main.0:
AND RDX, 0b1111111111111 # instrumentation
CMOVNZ ESI, dword ptr [R14 + RDX] 
AND RSI, 0b1111111111111 # instrumentation
LOCK BTS word ptr [R14 + RSI], 7 
AND RDI, 0b1111111111111 # instrumentation
OR qword ptr [R14 + RDI], 0b1000000000000000000000000000000 # instrumentation
BSR RSI, qword ptr [R14 + RDI] 
AND RSI, 0b1111111111111 # instrumentation
AND RAX, 0b111 # instrumentation
BTS qword ptr [R14 + RSI], RAX 
AND RDX, 0b1111111111111 # instrumentation
CMOVNB AX, word ptr [R14 + RDX] 
AND RDX, 0b1111111111111 # instrumentation
CMOVNBE EAX, dword ptr [R14 + RDX] 
AND RDI, 0b1111111111111 # instrumentation
TEST word ptr [R14 + RDI], -20435 
JNBE .bb_main.1 
JMP .bb_main.exit 
.bb_main.1:
AND DIL, -28 # instrumentation
CMOVL AX, DI 
BT RAX, 66 
AND SIL, -61 # instrumentation
CMOVO RDX, RCX 
AND RBX, 0b1111111111111 # instrumentation
BT qword ptr [R14 + RBX], 1 
BTC EBX, -42 
XOR AL, -55 
AND RCX, 0b1111111111111 # instrumentation
CMOVNZ EBX, dword ptr [R14 + RCX] 
OR RDX, 0b1000000000000000000000000000000 # instrumentation
BSF RAX, RDX 
BTR AX, -67 
AND RSI, 0b1111111111111 # instrumentation
CMOVNO RAX, qword ptr [R14 + RSI] 
CMOVO CX, CX 
AND RDX, 0b1111111111111 # instrumentation
LOCK OR qword ptr [R14 + RDX], RSI 
XOR DL, DL 
.bb_main.exit:
.test_case_exit:
MFENCE # instrumentation
